Preservation under Extensions on Well-Behaved Finite Structures
نویسندگان
چکیده
منابع مشابه
Preservation Under Extensions on Well-Behaved Finite Structures
A class of relational structures is said to have the extension preservation property if every first-order sentence that is preserved under extensions on the class is equivalent to an existential sentence. The class of all finite structures does not have the extension preservation property. We study the property on classes of finite structures that are better behaved. We show that the property h...
متن کاملWell-behaved epireflections for Kan extensions and models of sketches
Any adjunction produces an epireflection in a canonical way, provided there exists a prefactorization system which factorizes all of its unit morphisms through epimorphisms. The stable units property, for the so obtained epireflections, is thereafter equivalently restated in such a manner it is easily recognizable in the examples. Furthermore, having stable units, there is a strong but quite si...
متن کاملA Well - Behaved Algorithm for SimulatingDependence Structures of Bayesian
Automatic generation of Bayesian network (BNs) structures (directed acyclic graphs) is an important step in experimental study of algorithms for inference in BNs and algorithms for learning BNs from data. Previously known simulation algorithms do not guarantee connectedness of generated structures or even successful genearation according to a user speciication. We propose a simple, eecient and ...
متن کاملWell Behaved Transition Systems
The well-quasi-ordering (i.e., a well-founded quasi-ordering such that all antichains are finite) that defines well-structured transition systems (WSTS) is shown not to be the weakest hypothesis that implies decidability of the coverability problem. We show coverability decidable for monotone transition systems that only require the absence of infinite antichains and call well behaved transitio...
متن کاملWell-behaved Production Economies
We show that production economies are tâtonnement stable if consumers satisfy the weak axiom of revealed preference. To ensure that producer supply decisions are well defined, we restrict prices in the tâtonnement so that positive profits cannot occur but do allow supply decisions to be multi-valued. The model therefore permits linear activities and hence the technologies that admit capital the...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: SIAM Journal on Computing
سال: 2008
ISSN: 0097-5397,1095-7111
DOI: 10.1137/060658709